TestOptions {forCompilers = [(MAlonzo, CompilerOptions {extraAgdaArgs = ["--no-main"]})], runtimeOptions = [], executeProg = False}
